English translation for "resolution proof tree"

分解证明树

Related Translations:

bearing resolution:  方位分辨力方位分辨率方位分辩力

picture resolution:  画面分辨率图像分解力图像清晰度图象分辨率

resolution capability:  分辨本领分辨能力分辩能力分解力鉴别能力解像力

time resolution:  时间分辨力时间分辨能力时间间隔分辨能力小时间分辨率

peak resolution:  峰分辨度

resolution salt:  再溶盐

photomask resolution:  光掩模清晰度

distance resolution:  距离分辨能力距离分辩率距离分解

fine resolution:  高分辨率高鉴别力细分解

lateral resolution:  横向分辨度横向分辨率

Example Sentences:

	1.	Many people research how to find value of y from resolution proof trees 有许多人研究从归结证明树确定y的值的方法。
	2.	It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved 这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。

Similar Words：

"resolution procedure" English translation, "resolution process" English translation, "resolution processes" English translation, "resolution proof graph" English translation, "resolution proof procedure" English translation, "resolution rate" English translation, "resolution ratio" English translation, "resolution ratio of cellulose" English translation, "resolution reading" English translation, "resolution refutation" English translation